Skip to content

Conversation

@marcphilipp
Copy link
Member

No description provided.

@marcphilipp marcphilipp self-assigned this Sep 19, 2025
@marcphilipp marcphilipp force-pushed the marc/javadoc-warnings-as-errors branch from 67f6088 to c0b92a7 Compare September 30, 2025 10:14
@marcphilipp marcphilipp marked this pull request as ready for review September 30, 2025 10:14
@marcphilipp marcphilipp merged commit ee9ec3f into main Sep 30, 2025
16 checks passed
@marcphilipp marcphilipp deleted the marc/javadoc-warnings-as-errors branch September 30, 2025 12:06
marcphilipp added a commit that referenced this pull request Oct 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants